πΏοΈ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
π Linear Types
Resource Management, Ownership, Affine Types, Memory Safety
Filter Results
Timeframe
Hot
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
258936
posts in
1.21
s
Meeting Seed7
genodians.org
Β·
1d
π±
Forth Kernels
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
A Validated Semantics for LLVM IR
sf.snu.ac.kr
Β·
9h
π§
LLVM IR
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Pandas vs Polars: Why the 2025 Evolution Changes Everything
dev.to
Β·
5h
Β·
Discuss:
DEV
π
DataFrame Types
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Introducing Pkl, a programming language for configuration
pkl-lang.org
Β·
1h
βοΈ
Configuration Parsing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Virtualization: Theory to Silicon
pooladkhay.com
Β·
7h
Β·
Discuss:
Hacker News
π₯οΈ
Minimal VMs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why Rust is Revolutionizing Game Development: Memory Safety Meets High Performance
dev.to
Β·
1d
Β·
Discuss:
DEV
π
Rust Borrowing
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu
Β·
1d
πͺ
C Metaprogramming
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com
Β·
1d
Β·
Discuss:
Lobsters
,
Hacker News
π―
Symbolic Execution
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Newtype Index Pattern In Zig
matklad.github.io
Β·
2d
Β·
Discuss:
Lobsters
,
Hacker News
π
Stack Data Structures
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Treating Functions as Vectors in Hilbert Space
hackaday.com
Β·
1d
Ξ»
Lambda Calculus
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Zen-GC β policy-driven K8s garbage collection for automated cleanup
github.com
Β·
4h
Β·
Discuss:
Hacker News
πΊοΈ
Stack Mapping
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
What F# Knows About Functors and What Comes Next
dev.to
Β·
1d
Β·
Discuss:
DEV
π―
Type Theory
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The answer is in your heap: debugging a big memory increase in Ruby on Rails
island94.org
Β·
19h
π
Memory Profilers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Introducing Daemonless.io: Native FreeBSD OCI Containers
reddit.com
Β·
1d
Β·
Discuss:
r/selfhosted
π‘οΈ
Capability VMs
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Java Janitor Jim β Augmenting Java's Ancient Enum with Proper Collections
javajanitorjim.substack.com
Β·
1d
Β·
Discuss:
Substack
π
Lexical Scoping
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
The production bug that made me care about undefined behavior
gaultier.github.io
Β·
11h
Β·
Discuss:
Hacker News
,
r/programming
π§
Error Recovery
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Why are we worried about memory access semantics? Full barriers should be enough for anybody
devblogs.microsoft.com
Β·
1d
Β·
Discuss:
Hacker News
π―
Ring Buffers
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
What Deep Learning Theory Teaches Us About AI Memory
dev.to
Β·
1d
Β·
Discuss:
DEV
πΊοΈ
Region Inference
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com
Β·
2h
Β·
Discuss:
Hacker News
π
Language Interop
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Deno 2 vs Node.js vs Bun in 2026: The Complete JavaScript Runtime Comparison
pockit.tools
Β·
10h
Β·
Discuss:
DEV
π
V8 Internals
Preview
Share
Show Feeds
Block Domain
Report Post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Wrong Language
Loading...
Loading more...
Page 2 »